Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
⚡ Control Synthesis
Hardware Description, Digital Design, State Machines, FPGA
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
185129
posts in
2.5
ms
The
Structural
Navigation Agent: Enforcement Architecture and
Structural
Analysis for Multi-Agent
Coordination
petronus.eu
·
4h
·
Discuss:
DEV
🕸️
Graph Algorithms
LeGend: A Data-Driven Framework for
Lemma
Generation in Hardware Model
Checking
arxiv.org
·
23h
💓
Live Variable Analysis
mirimmad/uart-fpga
: Implementation of the UART protocol using
Verilog
.
github.com
·
1d
📡
Binary Protocols
Application of the method of shifted membership function to solve the
interval
input–output
Leontief
systems
sciencedirect.com
·
1d
⚡
Partial Evaluation
Extending Formal Verification to
Sequential
Circuits (U. of
Bremen
)
semiengineering.com
·
11h
📈
Monotonic Logic
Industrial-Grade
Physical
AI Systems
trendhunter.com
·
13h
🏰
Capability Machines
Weather
Buoy
Part 2
earthchronicles.substack.com
·
1h
·
Discuss:
Substack
🌉
Cross-Platform FFI
Differential
Logic
• 15
inquiryintoinquiry.com
·
10h
🧩
Constraint Logic
Distributed
Function
Secret Sharing and Applications
papers.cool
·
1d
🔗
Hash Functions
Superpositioned
: The Quantum
Decade
Ahead
superpositioned.co
·
11h
·
Discuss:
Hacker News
💫
Effect Systems
Implementing a clear room
Z80
/
ZX
Spectrum emulator with Claude Code
blog.adafruit.com
·
12h
🤖
Embedded Go
Verilog
Testbench
Essentials
hackster.io
·
1d
💓
Live Variable Analysis
Controllable
Reasoning Models Are Private
Thinkers
arxiv.org
·
23h
💫
Effect Systems
A
Reinforcement
Learning Approach in Multi-Phase Second-Price
Auction
Design
jmlr.org
·
16h
⚡
Partial Evaluation
Agentic Design
Patterns
: The 2026 Guide to Building
Autonomous
Systems
sitepoint.com
·
9h
🎭
Program Synthesis
Recurrent
Neural Networks (
RNN
) From Scratch: The First Step Toward Modern LLMs
pub.towardsai.net
·
8h
🪜
Recursive Descent
A simplified guide to MIDI over
TRS
minijacks
minimidi.world
·
6h
·
Discuss:
Hacker News
🧸
Toy Compilers
ICSQuartz
: Scan Cycle-Aware and Vendor-Agnostic
Fuzzing
for Industrial Control Systems
papers.cool
·
1d
🎲
Parser Fuzzing
Physical echo state network based on the nonlinearity and dynamic response of
ambipolar
heterostructure
transistors
nature.com
·
2d
🖥️
Lisp Machines
Offline
supervisory
fuzzy control for weekly set-point adjustment in home-based
congestive
heart failure therapy
sciencedirect.com
·
1d
✨
Effect Inference
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help